fn f(g~ : Int, h~ : String) -> Int {
  g
}